modules - Intel Xeon X5650
psmouse 135168 0 - Live 0xffffffffc0489000
atkbd 32768 0 - Live 0xffffffffc0425000
libps2 20480 2 psmouse,atkbd, Live 0xffffffffc0405000
serio_raw 20480 0 - Live 0xffffffffc0377000
vmw_balloon 24576 0 - Live 0xffffffffc03f5000
vmxnet3 57344 0 - Live 0xffffffffc03ca000
sr_mod 24576 0 - Live 0xffffffffc03ee000
cdrom 69632 1 sr_mod, Live 0xffffffffc03dc000
vmwgfx 286720 1 - Live 0xffffffffc0383000
pata_acpi 16384 0 - Live 0xffffffffc037e000
vmw_vmci 69632 1 vmw_balloon, Live 0xffffffffc0365000
i2c_piix4 28672 0 - Live 0xffffffffc035d000
i8042 28672 0 - Live 0xffffffffc0355000
ac 16384 0 - Live 0xffffffffc0350000